<!DOCTYPE html>
<html lang="zh-CN">
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>并发编程中的锁机制</title>
    <link href="https://cdn.staticfile.org/font-awesome/6.4.0/css/all.min.css" rel="stylesheet">
    <link href="https://cdn.staticfile.org/tailwindcss/2.2.19/tailwind.min.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Noto+Serif+SC:wght@400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&display=swap" rel="stylesheet">
    <script src="https://cdn.jsdelivr.net/npm/mermaid@latest/dist/mermaid.min.js"></script>
    <style>
        body {
            font-family: 'Noto Sans SC', Tahoma, Arial, Roboto, "Droid Sans", "Helvetica Neue", "Droid Sans Fallback", "Heiti SC", "Hiragino Sans GB", Simsun, sans-serif;
            background: linear-gradient(135deg, #f5f7fa 0%, #c3cfe2 100%);
            min-height: 100vh;
        }
        .hero-gradient {
            background: linear-gradient(135deg, #667eea 0%, #764ba2 100%);
        }
        .card-hover {
            transition: all 0.3s ease;
        }
        .card-hover:hover {
            transform: translateY(-5px);
            box-shadow: 0 20px 40px rgba(0,0,0,0.1);
        }
        .text-gradient {
            background: linear-gradient(135deg, #667eea 0%, #764ba2 100%);
            -webkit-background-clip: text;
            -webkit-text-fill-color: transparent;
            background-clip: text;
        }
        .number-circle {
            width: 40px;
            height: 40px;
            background: linear-gradient(135deg, #667eea 0%, #764ba2 100%);
            color: white;
            display: flex;
            align-items: center;
            justify-content: center;
            border-radius: 50%;
            font-weight: bold;
            flex-shrink: 0;
        }
        .section-card {
            background: white;
            border-radius: 16px;
            padding: 2rem;
            box-shadow: 0 10px 30px rgba(0,0,0,0.05);
            margin-bottom: 2rem;
            position: relative;
            overflow: hidden;
        }
        .section-card::before {
            content: '';
            position: absolute;
            top: 0;
            left: 0;
            width: 4px;
            height: 100%;
            background: linear-gradient(135deg, #667eea 0%, #764ba2 100%);
        }
        .icon-wrapper {
            width: 60px;
            height: 60px;
            background: linear-gradient(135deg, #667eea20 0%, #764ba220 100%);
            border-radius: 12px;
            display: flex;
            align-items: center;
            justify-content: center;
            margin-bottom: 1rem;
        }
        .mermaid {
            display: flex;
            justify-content: center;
            margin: 2rem 0;
        }
        @keyframes fadeInUp {
            from {
                opacity: 0;
                transform: translateY(30px);
            }
            to {
                opacity: 1;
                transform: translateY(0);
            }
        }
        .animate-fadeInUp {
            animation: fadeInUp 0.6s ease-out;
        }
        .highlight-box {
            background: linear-gradient(135deg, #f093fb15 0%, #f5576c15 100%);
            border-left: 4px solid #f5576c;
            padding: 1.5rem;
            border-radius: 8px;
            margin: 1rem 0;
        }
    </style>
</head>
<body>
    <!-- Hero Section -->
    <div class="hero-gradient text-white py-20 px-6">
        <div class="max-w-6xl mx-auto text-center">
            <h1 class="text-5xl md:text-6xl font-bold mb-6 animate-fadeInUp">
                <i class="fas fa-lock mr-4"></i>并发编程中的锁机制
            </h1>
            <p class="text-xl md:text-2xl opacity-90 max-w-3xl mx-auto animate-fadeInUp" style="animation-delay: 0.2s;">
                深入理解计算机科学中的同步机制，掌握并发环境下资源共享的核心技术
            </p>
        </div>
    </div>

    <!-- Main Content -->
    <div class="max-w-6xl mx-auto px-6 py-12">
        <!-- Introduction Card -->
        <div class="section-card mb-12 animate-fadeInUp" style="animation-delay: 0.3s;">
            <div class="icon-wrapper">
                <i class="fas fa-info-circle text-3xl text-gradient"></i>
            </div>
            <p class="text-lg leading-relaxed text-gray-700">
                锁在计算机科学中用于解决并发环境下的资源共享问题。它是一种同步机制，用于协调对共享资源的访问，确保系统的正确性和稳定性。在多线程和分布式系统中，锁扮演着至关重要的角色，是构建可靠并发程序的基石。
            </p>
        </div>

        <!-- Visualization -->
        <div class="section-card mb-12 animate-fadeInUp" style="animation-delay: 0.4s;">
            <h2 class="text-2xl font-bold mb-6 text-gray-800">
                <i class="fas fa-project-diagram mr-3 text-gradient"></i>锁机制核心概念关系图
            </h2>
            <div class="mermaid">
                graph TD
                    A[锁机制] --> B[避免数据竞争]
                    A --> C[保证原子性]
                    A --> D[防止脏读]
                    A --> E[避免死锁]
                    A --> F[线程通信]
                    A --> G[同步控制]
                    A --> H[事务一致性]
                    A --> I[提高可预测性]
                    
                    B --> B1[数据一致性]
                    B --> B2[完整性保护]
                    
                    C --> C1[操作不可分割]
                    C --> C2[状态一致]
                    
                    E --> E1[资源分配策略]
                    E --> E2[避免饥饿]
                    
                    style A fill:#667eea,stroke:#fff,stroke-width:3px,color:#fff
                    style B fill:#f093fb,stroke:#fff,stroke-width:2px,color:#fff
                    style C fill:#f093fb,stroke:#fff,stroke-width:2px,color:#fff
                    style D fill:#f093fb,stroke:#fff,stroke-width:2px,color:#fff
                    style E fill:#f093fb,stroke:#fff,stroke-width:2px,color:#fff
                    style F fill:#f093fb,stroke:#fff,stroke-width:2px,color:#fff
                    style G fill:#f093fb,stroke:#fff,stroke-width:2px,color:#fff
                    style H fill:#f093fb,stroke:#fff,stroke-width:2px,color:#fff
                    style I fill:#f093fb,stroke:#fff,stroke-width:2px,color:#fff
            </div>
        </div>

        <!-- Main Features Grid -->
        <div class="grid md:grid-cols-2 gap-6">
            <!-- Feature 1 -->
            <div class="section-card card-hover animate-fadeInUp" style="animation-delay: 0.5s;">
                <div class="flex items-start">
                    <div class="number-circle">1</div>
                    <div class="ml-4 flex-1">
                        <h3 class="text-xl font-bold mb-3 text-gray-800">避免数据竞争</h3>
                        <div class="space-y-3">
                            <div class="highlight-box">
                                <p class="font-semibold text-gray-700 mb-2">
                                    <i class="fas fa-exclamation-triangle mr-2 text-red-500"></i>数据竞争
                                </p>
                                <p class="text-gray-600">在多线程或多进程环境中，多个线程或进程同时访问和修改共享数据时，可能会导致数据不一致或错误。</p>
                            </div>
                            <p class="text-gray-600">
                                <i class="fas fa-shield-alt mr-2 text-green-500"></i>
                                <strong>锁的作用：</strong>锁能够保证同一时刻只有一个线程可以访问共享资源，从而避免数据竞争，确保数据的一致性和完整性。
                            </p>
                        </div>
                    </div>
                </div>
            </div>

            <!-- Feature 2 -->
            <div class="section-card card-hover animate-fadeInUp" style="animation-delay: 0.6s;">
                <div class="flex items-start">
                    <div class="number-circle">2</div>
                    <div class="ml-4 flex-1">
                        <h3 class="text-xl font-bold mb-3 text-gray-800">保证操作的原子性</h3>
                        <div class="space-y-3">
                            <div class="highlight-box">
                                <p class="font-semibold text-gray-700 mb-2">
                                    <i class="fas fa-atom mr-2 text-blue-500"></i>原子性
                                </p>
                                <p class="text-gray-600">原子性操作是指操作要么完全执行，要么完全不执行。在并发环境下，如果操作不是原子性的，就可能导致部分操作被其他线程打断。</p>
                            </div>
                            <p class="text-gray-600">
                                <i class="fas fa-lock mr-2 text-purple-500"></i>
                                <strong>锁的作用：</strong>锁能够确保一段代码在执行时不会被其他线程打断，从而实现操作的原子性。
                            </p>
                        </div>
                    </div>
                </div>
            </div>

            <!-- Feature 3 -->
            <div class="section-card card-hover animate-fadeInUp" style="animation-delay: 0.7s;">
                <div class="flex items-start">
                    <div class="number-circle">3</div>
                    <div class="ml-4 flex-1">
                        <h3 class="text-xl font-bold mb-3 text-gray-800">防止脏读</h3>
                        <div class="space-y-3">
                            <div class="highlight-box">
                                <p class="font-semibold text-gray-700 mb-2">
                                    <i class="fas fa-eye-slash mr-2 text-orange-500"></i>脏读
                                </p>
                                <p class="text-gray-600">当一个线程读取到另一个线程尚未提交的中间结果时，可能会得到不一致的数据，这种现象被称为脏读。</p>
                            </div>
                            <p class="text-gray-600">
                                <i class="fas fa-check-circle mr-2 text-green-500"></i>
                                <strong>锁的作用：</strong>通过锁的机制，可以确保在一个线程完成对共享资源的操作后，其他线程才能读取到最终结果。
                            </p>
                        </div>
                    </div>
                </div>
            </div>

            <!-- Feature 4 -->
            <div class="section-card card-hover animate-fadeInUp" style="animation-delay: 0.8s;">
                <div class="flex items-start">
                    <div class="number-circle">4</div>
                    <div class="ml-4 flex-1">
                        <h3 class="text-xl font-bold mb-3 text-gray-800">避免死锁和资源饥饿</h3>
                        <div class="space-y-3">
                            <div class="highlight-box">
                                <p class="font-semibold text-gray-700 mb-2">
                                    <i class="fas fa-infinity mr-2 text-red-600"></i>死锁与饥饿
                                </p>
                                <p class="text-gray-600 mb-2">死锁：两个或多个线程互相等待对方释放资源，导致程序陷入无限等待。</p>
                                <p class="text-gray-600">资源饥饿：某些线程永远无法获得所需的资源，从而无法执行。</p>
                            </div>
                            <p class="text-gray-600">
                                <i class="fas fa-balance-scale mr-2 text-indigo-500"></i>
                                <strong>锁的作用：</strong>合理使用锁可以减少死锁和资源饥饿的发生，例如通过避免嵌套锁、使用定时锁等策略。
                            </p>
                        </div>
                    </div>
                </div>
            </div>

            <!-- Feature 5 -->
            <div class="section-card card-hover animate-fadeInUp" style="animation-delay: 0.9s;">
                <div class="flex items-start">
                    <div class="number-circle">5</div>
                    <div class="ml-4 flex-1">
                        <h3 class="text-xl font-bold mb-3 text-gray-800">实现线程间通信</h3>
                        <div class="space-y-3">
                            <div class="highlight-box">
                                <p class="font-semibold text-gray-700 mb-2">
                                    <i class="fas fa-comments mr-2 text-blue-600"></i>线程通信
                                </p>
                                <p class="text-gray-600">在多线程程序中，线程之间可能需要进行协调或通信，比如一个线程需要等待另一个线程完成某些操作后再继续执行。</p>
                            </div>
                            <p class="text-gray-600">
                                <i class="fas fa-sync-alt mr-2 text-teal-500"></i>
                                <strong>锁的作用：</strong>除了互斥锁，还有条